COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	122. Recursive Programming and Proving - Recursive programming using
C00005 ENDMK
C⊗;
122. Recursive Programming and Proving - Recursive programming using
the LISP language and techniques for proving the corrrectness of
recursive programs.  Computing wherein the data are symbolic expressions
rather than numbers, e.g. algebraic expressions, logical expressions,
patterns, graphs, and computer programs.
Pattern matching and syntax directed computation.  Preparation for
work in artificial intelligence is emphasized.
Prerequisite: 107 or equivalent ability to program.

222. Programming languages for artificial Intelligence - Advanced LISP,
Microplanner, QA4, Scheme.  Production systems and other forms of
pattern-directed computation.  Applications to problem solving and
language understanding.
Prerequisite: 122, 224 or consent of the instructor.

226. Epistemological Problems of Artificial Intelligence - Formalisms
for representing what a general intelligent program must know about
the world including facts about causality, ability, knowledge and
action.  Modes of rigorous and conjectural reasoning for computer
programs.  Connections with philosophy, especially philosophical logic.
Related material in logic and elementary set theory.

258. Mathematical Theory of Computation - Abstract syntax and formal
semantics of programming languages.  Recursively defined and algolic
programs.  Proving assertions about computer programs using formalisms of
Burstall, Cartwright, Floyd, Manna, McCarthy and Scott.  Use of
proof-checking programs.  Prerequisite: 156 with 166 recommended.